The summary of automata theory ontology is presented in the paper. It is based on the following 
dependences: a type of an automaton – the language accepted by the automaton – applications. The given 
ontology does not claim to be exhaustive as automata theory is very extensive and it is a complicated problem to 
survey all its aspects within one article. Only the main properties of automata and their applications are 
considered

Krivoi, Sergey